Gödel, Kurt

Terms from Artificial Intelligence: humans at the heart of algorithms

Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.

Gödel, Kurt is a mathematicain famous for his incompleteness theorem that proved it was impossible to prove everything that is true in mathematics. There are some tings that are true, but for which there can never be a proof. That is, there will always be gaps in knowledge that are fundamental, not simply to hard to tackle yet.

Used on Chap. 4: page 57

Also known as godel